全文获取类型
收费全文 | 800篇 |
免费 | 23篇 |
国内免费 | 66篇 |
专业分类
系统科学 | 321篇 |
丛书文集 | 23篇 |
现状及发展 | 1篇 |
综合类 | 544篇 |
出版年
2023年 | 4篇 |
2022年 | 7篇 |
2021年 | 2篇 |
2020年 | 6篇 |
2018年 | 4篇 |
2017年 | 3篇 |
2016年 | 7篇 |
2015年 | 9篇 |
2014年 | 26篇 |
2013年 | 21篇 |
2012年 | 34篇 |
2011年 | 47篇 |
2010年 | 37篇 |
2009年 | 43篇 |
2008年 | 44篇 |
2007年 | 114篇 |
2006年 | 69篇 |
2005年 | 61篇 |
2004年 | 61篇 |
2003年 | 48篇 |
2002年 | 40篇 |
2001年 | 39篇 |
2000年 | 31篇 |
1999年 | 28篇 |
1998年 | 29篇 |
1997年 | 24篇 |
1996年 | 16篇 |
1995年 | 6篇 |
1994年 | 12篇 |
1993年 | 5篇 |
1992年 | 2篇 |
1991年 | 2篇 |
1990年 | 2篇 |
1989年 | 3篇 |
1988年 | 3篇 |
排序方式: 共有889条查询结果,搜索用时 281 毫秒
1.
工作流执行过程中经常会出现非正常终止的情况,对此,将事前分析方法应用于工作流过程模型的验证中,即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程,确定模型的有效性;进一步将扩展有向网络图转换成工作流网模型,应用Petri网技术分析该模型的冲突结构,以确保工作流过程的逻辑合理性。 相似文献
2.
基于Petri网的PLC程序设计 总被引:2,自引:0,他引:2
随着生产过程复杂性的增加,对系统的控制也更加复杂.传统的PLC程序设计方法,已不适用于诸如协调、竞争等控制的设计.需要寻求新的程序设计方法来满足复杂的控制要求.本文介绍了基于Petri网的PLC程序设计. 相似文献
3.
郑谦益 《南京邮电大学学报(自然科学版)》2004,24(4):51-53
首先介绍面向对象Petri网(OOPN)的定义和图形表示法,接着以告警服务代理软件设计为例,对其OOPN进行了详细分析,最后给出该系统实现的主体代码结构。 相似文献
4.
Xiao Bing Qu Tan & Wang Mingzhe Huazhong University of Science Technology Wuhan P.R. China 《系统工程与电子技术(英文版)》2002,13(1)
1 .INTRODUCTIONInC3Isystems,receiving ,transmission ,processinganddisplayofinformationaredevelopedconcerningthede cisionmakingofcommanders.Therefore,themajortaskofaC3Isystemisfocusedondecisionmaking.Withtherapiddevelopmentofcommunicationandnetwork ,teamdecis… 相似文献
5.
1 .INTRODUCTIONDuetotheireconomicsignificanceandclosenesstopersons,productionsystemsmustbemodeledbeforetheirimplementationanduse,thus,amethodwhichspecifies ,analyzesandsynthesizestheproductionsys tems—discreteeventsystems (DES)hasbeenestab lishedanddevelopedstepbystepinrecentyears.DESmethodspecifiestheplantbasedonitsdiscretecharacters,however,intherealworld ,therearefewplantsthatcanbemodeledbypurelydiscretemathe maticalmodelbecausetherearealwayssomecontinu ousparametersforstudyinnearlya… 相似文献
6.
基于时间Petri网的密码协议分析 总被引:4,自引:2,他引:2
形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案. 相似文献
7.
基于随机Petri网的客户/服务器模型及其分析 总被引:1,自引:0,他引:1
提出了一种基于随机Petri网的客户 服务器模型 ,模拟了客户 服务器系统的基本工作原理 ,在此基础上 ,利用随机Petri网的时间特性对该模型进行了定量分析 . 相似文献
8.
9.
选用比较适合描述系统组织结构和动态行为的Petri网络模型对主路优先通行的无信号交叉口运行过程建立HSPN模型.在此基础上,结合间隙接受理论,对无控制交叉口进行平均延误分析探索,为交叉口仿真控制软件的研发奠定了算法基础。 相似文献
10.
LI Xi-zuo HAN Gui-ying KIM Sun-ho 《武汉大学学报:自然科学英文版》2006,11(1):203-210
0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys… 相似文献